Books by author Bernhard Beckert

Showing 1 – 11 out of 11 results

1. 

   Logic of Software. A Tasting Menu of Formal Methods

   Einar Broch Johnsen, Richard Bubel, Bernhard Beckert | Springer International Publishing AG, 2022

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   103.05 €

   Sale 7 %

   You save 8.63 €

   Buy
2. 

   Formal Verification of Object-Oriented Software

   Bernhard Beckert | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011

   
   

   Low in stock at our supplier - Shipping in 9 - 15 days

   Language: English

   Binding: Paperback

   56.08 €

   Buy
3. 

   Tests and Proofs

   Bernhard Beckert, Reiner Hähnle | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.72 €

   Sale 7 %

   You save 4.28 €

   Buy
4. 

   Verification of Object-Oriented Software. The KeY Approach

   Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   103.05 €

   Sale 7 %

   You save 8.63 €

   Buy
5. 

   Electronic Voting

   Robert Krimmer, Melanie Volkamer, Veronique Cortier, Bernhard Beckert, Ralf Küsters, Uwe Serdült, David Duenas-Cid | Springer Nature Switzerland AG, 2019

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   59.92 €

   Sale 7 %

   You save 4.98 €

   Buy
6. 

   Automated Reasoning with Analytic Tableaux and Related Methods

   Bernhard Beckert | Springer, Berlin, 2005

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.72 €

   Sale 7 %

   You save 4.28 €

   Buy
7. 

   Formal Verification of Object-Oriented Software

   Bernhard Beckert, Ferruccio Damiani, Dilian Gurov | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   47.57 €

   Sale 7 %

   You save 3.97 €

   Buy
8. 

   Deductive Software Verification: Future Perspectives

   Bernhard Beckert, Mattias Ulbrich, Reiner Hähnle, Richard Bubel | Springer Nature Switzerland AG, 2020

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.72 €

   Sale 7 %

   You save 4.28 €

   Buy
9. 

   Electronic Voting

   Melanie Volkamer, Bernhard Beckert, Mikhel Solvak, Oksana Kulyk, David Duenas-Cid, Ralf Küsters | Springer Nature Switzerland AG, 2020

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.72 €

   Sale 7 %

   You save 4.28 €

   Buy
10. 

    Deductive Software Verification - The KeY Book

    Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich | Springer International Publishing AG, 2016

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    123.60 €

    Sale 7 %

    You save 10.34 €

    Buy
11. 

    Formal Methods for Components and Objects

    Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.72 €

    Sale 7 %

    You save 4.28 €

    Buy

Books are sent immediately or as soon as possible. Find out more